"Michael G. Hinchey" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Formal Approaches to Agent-Based Systems, 3 conf., FAABS 2004

Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff

Категория: CsLn_

8.17 Mb

#2

Formal Approaches to Agent-Based Systems, 3 conf., FAABS 2004

Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff

Категория: CsLn_

7.89 Mb

#3

Formal Methods and Software Engineering, 9 conf., ICFEM 2007

Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie

Категория: CsLn_

4.28 Mb

#4

Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers (Lecture ... / Lecture Notes in Artificial Intelligence)

Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff

Категория: Computing & information technology

3.35 Mb

#5

ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings

Jonathan P. Bowen, Michael G. Hinchey

5.90 Mb

#6

ZUM'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings

Jonathan P. Bowen, Michael G. Hinchey, David Till

3.69 Mb

#7

Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers

James L. Rash, Christopher A. Rouff, Walter Truszkowski, Diana Gordon, Michael G. Hinchey

3.25 Mb

#8

ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings

Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey

10.95 Mb

#9

Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers

Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher Rouff, Diana Gordon-Spears

3.98 Mb

#10

Innovative Concepts for Autonomic and Agent-Based Systems: Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA,

Michael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff

5.76 Mb

#11

Agent Technology from a Formal Perspective

Michael Hinchey, James Rash, Walt Truszkowski, Diana F. Gordon-Spears, Christopher Rouff

3.51 Mb

#12

Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems

Walt Truszkowski, Harold Hallock, Christopher Rouff, Jay Karlin, James Rash, Michael Hinchey

3.92 Mb